Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
111	Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) Christos Dimoulas, Max S. New, Robert Bruce Findler, Matthias Felleisen PLT, USA {chrdimo,maxsnew,robby,matthias}@racket-lang.org Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2016-08-09 10:09:16 Software engineering Computer programming Programming language theory Object-oriented programming languages Combinatory logic Enumerated type Contract Objective-C Scope Eiffel Racket
112	Microsoft PowerPoint - SASyLF-wmm08-web.ppt Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2008-10-15 15:02:54 Theoretical computer science Mathematics Type theory Mathematical logic Formal methods Logic in computer science Programming language theory Twelf POPLmark challenge Lambda calculus Theorem Formal language
113	Higher Order Modules Revisited David MacQueen University of Chicago Wednesday, April 18, 12 Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:03 Software engineering Computer programming Procedural programming languages Functional languages Programming language theory Standard ML ML Functor Ur
114	Centrum voor Wiskunde en Informatica Alma-0: An imperative language that supports declarative programming R. Apt, J. Brunekreef, V. Partington and A. Schaerf Probability, Networks and Algorithms (PNA) Add to Reading List Source URL: www.klomp.org Language: English - Date: 2015-01-25 16:44:17 Software engineering Computer programming Programming paradigms Theoretical computer science Programming idioms Computability theory Alma-0 Backtracking Logic programming Recursion Prolog Imperative programming
115	Curriculum Vitae et Studiorum Tullio Vardanega Curriculum Vitae et Studiorum of: Add to Reading List Source URL: www.math.unipd.it Language: English - Date: 2006-08-22 09:37:47 Software engineering Computing Programming language theory Ada EUROMICRO ALGOL 68 Association for Computing Machinery
116	FoCaLiZe! Programming and Proving! A Bit Under the Hood François Pessaux - ENSTA ParisTech (U2IS) Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-14 11:22:28 Software engineering Computer programming Programming language theory Functional languages Functional programming Procedural programming languages Mathematical proof Coq OCaml Natural deduction Mathematical logic ALGOL 68
117	KX-NS500 PFMPR Software File Version 4.1 Maximum Terminal Equipment Add to Reading List Source URL: www.panasonic.gr Language: English - Date: 2016-04-14 09:18:51 Software engineering Computing APL programming language family Array programming languages Programming language theory K
118	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2015-09-15 04:31:52 Programming language theory Formal methods POPLmark challenge Mathematical proof Programming language semantics Logic in computer science Proof theory
119	Fundamenta Informaticae–19 1 IOS Press Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-08-15 15:31:55 Logic programming Type theory Dependently typed programming Programming language theory Automated theorem proving Higher-order abstract syntax Lambda calculus Substitution Standard ML Env Normalisation by evaluation
120	Artificial IntelligenceElsevier 31 Logic and artificial intelligence Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2007-10-21 17:30:59 Philosophy of language Programming paradigms Model theory Philosophy of mind Reasoning First-order logic Proposition Interpretation Logic programming Logic Inference Knowledge representation and reasoning

UPDATE